EventsWithValues{i}  Type{i'} 

latex

Definitions	t  T, EventsWithValues, x:A. B(x), P  Q, Top, S  T, suptype(S; T), , EOrderAxioms(E; pred?; info), P & Q
Lemmas	deq wf, unit wf, Id wf, IdLnk wf, EOrderAxioms wf, loc wf, not wf, assert wf, first wf, top wf, pred wf, Knd wf, kind wf